
#include <inc/lib.h>

void
exit(void)
{
        //cprintf("[%s@%s:%d]\n", __FUNCTION__, __FILE__, __LINE__);
	sys_env_destroy(0);
}

